例句與造句

1. John C . Reynolds ( and later Jean-Yves Girard ) formally developed this notion of polymorphism as an extension to lambda calculus ( called the polymorphic lambda calculus or System F ).
2. Type operators correspond to the 2nd axis in the lambda cube, leading to the simply typed lambda-calculus with type operators, ? ?; while this is not so well known, combining type operators with polymorphic lambda calculus ( system F ) yields system F-omega.
3. It's difficult to find polymorphic lambda calculus in a sentence. 用polymorphic lambda calculus造句挺難的